Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 204 | 204 | 174 | 228 | 224 | 534 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.85 | 1.12 | 1.10 | 2.62 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.085 | 0.170 | 0.248 | 0.470 | 0.545 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 177 | 177 | 158 | 197 | 152 | 483 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.89 | 1.11 | 0.86 | 2.73 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.092 | 0.153 | 0.248 | 0.471 | 0.428 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 176 | 176 | 149 | 205 | 134 | 440 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.85 | 1.16 | 0.76 | 2.50 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.094 | 0.168 | 0.244 | 0.262 | 0.581 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 134 | 193 | 175 | 278 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.63 | 0.91 | 0.82 | 1.31 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.115 | 0.155 | 0.250 | 0.271 | 0.447 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | A | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 281 | 281 | 160 | 225 | 232 | 347 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.57 | 0.80 | 0.83 | 1.23 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.146 | 0.201 | 0.298 | 0.259 | 0.448 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | A | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 278 | 278 | 168 | 395 | 245 | 415 | 332 | 0 | -1 |
N.S. | 1 | 1.00 | 0.60 | 1.42 | 0.88 | 1.49 | 1.19 | 0.00 | -0.00 |
time (sec) |
N/A | 0.168 | 0.163 | 0.397 | 0.274 | 0.535 | 2.027 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | A | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 230 | 230 | 139 | 295 | 185 | 349 | 252 | 0 | -1 |
N.S. | 1 | 1.00 | 0.60 | 1.28 | 0.80 | 1.52 | 1.10 | 0.00 | -0.00 |
time (sec) |
N/A | 0.171 | 0.154 | 0.385 | 0.258 | 0.492 | 0.947 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 370 | 370 | 176 | 286 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.48 | 0.77 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.743 | 0.264 | 1.033 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 373 | 373 | 227 | 279 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.61 | 0.75 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.700 | 0.511 | 0.955 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 519 | 519 | 921 | 428 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.77 | 0.82 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.965 | 1.059 | 40.175 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 459 | 459 | 860 | 535 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.87 | 1.17 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.895 | 0.278 | 0.698 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 469 | 469 | 849 | 311 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.81 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.684 | 0.316 | 14.984 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 417 | 417 | 386 | 3157 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.93 | 7.57 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.680 | 0.618 | 0.862 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 523 | 523 | 933 | 380 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.78 | 0.73 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.890 | 1.281 | 38.872 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 631 | 631 | 1278 | 908 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.03 | 1.44 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.068 | 3.257 | 4.485 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 580 | 580 | 1208 | 686 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.08 | 1.18 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.989 | 0.835 | 0.878 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 147 | 147 | 345 | 854 | 0 | 1044 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.35 | 5.81 | 0.00 | 7.10 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.158 | 0.736 | 3.702 | 0.000 | 0.517 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | C | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 542 | 542 | 0 | 3326 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 6.14 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.928 | 32.981 | 4.667 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 840 | 840 | 1270 | 2016 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.51 | 2.40 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 2.124 | 1.073 | 15.943 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 786 | 786 | 1226 | 1879 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.56 | 2.39 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.014 | 1.160 | 46.976 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 786 | 786 | 1216 | 1879 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.55 | 2.39 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.886 | 1.272 | 51.618 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 844 | 844 | 1305 | 1952 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.55 | 2.31 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.995 | 0.885 | 17.991 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 778 | 778 | 2000 | 1804 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.57 | 2.32 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.205 | 7.157 | 5.816 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-2) | B | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 173 | 173 | 486 | 3348 | 0 | 3769 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.81 | 19.35 | 0.00 | 21.79 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.136 | 1.582 | 4.600 | 0.000 | 0.711 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-2) | B | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 217 | 217 | 486 | 3305 | 0 | 3218 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.24 | 15.23 | 0.00 | 14.83 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.216 | 0.746 | 4.543 | 0.000 | 0.560 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 741 | 741 | 0 | 5713 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 7.71 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.085 | 56.145 | 2.167 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 1272 | 1272 | 2022 | 3468 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.59 | 2.73 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.499 | 6.081 | 160.544 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 1276 | 1276 | 2030 | 2550 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.59 | 2.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 2.619 | 6.054 | 172.572 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 1272 | 1272 | 2015 | 3461 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.58 | 2.72 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 3.348 | 6.038 | 163.691 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 447 | 447 | 340 | 0 | 0 | 2105 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.76 | 0.00 | 0.00 | 4.71 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.933 | 41.977 | 0.803 | 0.000 | 2.411 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 329 | 329 | 365 | 0 | 0 | 1476 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.11 | 0.00 | 0.00 | 4.49 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.289 | 21.148 | 0.748 | 0.000 | 0.933 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 307 | 0 | 0 | 1060 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.39 | 0.00 | 0.00 | 4.80 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.222 | 20.858 | 0.475 | 0.000 | 0.668 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.064 | 3.808 | 0.394 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.069 | 3.958 | 0.243 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.066 | 9.576 | 0.686 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 23 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.025 | 2.720 | 0.360 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.061 | 1.261 | 0.309 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 312 | 312 | 576 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.265 | 22.109 | 0.382 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 446 | 446 | 641 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.380 | 24.177 | 0.432 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 418 | 418 | 313 | 0 | 0 | 2076 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.75 | 0.00 | 0.00 | 4.97 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.361 | 41.763 | 0.777 | 0.000 | 1.594 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 297 | 297 | 342 | 0 | 0 | 1441 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.15 | 0.00 | 0.00 | 4.85 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.288 | 21.022 | 0.753 | 0.000 | 0.922 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.081 | 4.617 | 0.376 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.080 | 3.903 | 0.221 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.077 | 9.794 | 0.651 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 23 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.029 | 3.453 | 0.359 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.069 | 5.754 | 0.310 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.070 | 9.840 | 0.364 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 409 | 409 | 620 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.345 | 24.059 | 0.425 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 556 | 556 | 728 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.504 | 24.965 | 0.417 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 356 | 356 | 366 | 0 | 0 | 1509 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.03 | 0.00 | 0.00 | 4.24 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.772 | 21.054 | 1.365 | 0.000 | 1.191 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 251 | 251 | 406 | 0 | 0 | 1092 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.62 | 0.00 | 0.00 | 4.35 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.221 | 20.861 | 1.303 | 0.000 | 0.620 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 153 | 153 | 239 | 0 | 0 | 834 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.56 | 0.00 | 0.00 | 5.45 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.191 | 19.382 | 0.556 | 0.000 | 0.459 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.064 | 2.212 | 0.405 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.075 | 16.158 | 0.259 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.061 | 6.004 | 1.100 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 23 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.022 | 0.687 | 0.639 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 501 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.147 | 22.416 | 0.400 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 346 | 346 | 612 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.279 | 22.608 | 0.475 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 278 | 278 | 436 | 0 | 0 | 1665 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.57 | 0.00 | 0.00 | 5.99 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.746 | 20.960 | 1.378 | 0.000 | 0.800 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 177 | 177 | 249 | 0 | 0 | 1095 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.41 | 0.00 | 0.00 | 6.19 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.182 | 21.062 | 1.293 | 0.000 | 0.491 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 87 | 87 | 135 | 0 | 0 | 575 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.55 | 0.00 | 0.00 | 6.61 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.158 | 20.415 | 0.496 | 0.000 | 0.566 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.075 | 21.533 | 0.361 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.084 | 29.713 | 0.289 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.072 | 7.344 | 1.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.067 | 2.806 | 1.083 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 92 | 92 | 334 | 0 | 0 | 143 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 3.63 | 0.00 | 0.00 | 1.55 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.052 | 46.616 | 0.704 | 0.000 | 0.137 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 249 | 249 | 501 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.192 | 22.402 | 0.395 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 272 | 272 | 348 | 0 | 0 | 2999 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.28 | 0.00 | 0.00 | 11.03 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.839 | 21.224 | 1.381 | 0.000 | 0.876 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 179 | 179 | 218 | 0 | 0 | 1834 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.22 | 0.00 | 0.00 | 10.25 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.176 | 10.156 | 1.240 | 0.000 | 0.642 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 154 | 154 | 204 | 0 | 0 | 1456 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.32 | 0.00 | 0.00 | 9.45 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.190 | 0.197 | 0.486 | 0.000 | 0.584 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.084 | 34.539 | 0.391 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.095 | 45.933 | 0.282 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.079 | 10.990 | 1.368 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.072 | 10.210 | 1.213 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 246 | 246 | 488 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.167 | 1.786 | 1.120 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F(-2) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 266 | 266 | 517 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.150 | 22.949 | 0.654 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 596 | 576 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 0.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.569 | 0.098 | 1.365 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 372 | 352 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.311 | 0.080 | 1.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 206 | 192 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 0.93 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.129 | 0.066 | 0.697 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.052 | 1.576 | 1.201 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 26 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.052 | 5.167 | 1.888 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F(-1) | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 28 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.075 | 0.651 | 0.914 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 28 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.067 | 0.071 | 0.913 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 28 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.071 | 0.854 | 1.249 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 28 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.04 |
time (sec) |
N/A | 0.074 | 1.114 | 1.342 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | A | F(-2) | F(-2) | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 473 | 473 | 213 | 0 | 0 | 393 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.45 | 0.00 | 0.00 | 0.83 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.095 | 0.275 | 2.136 | 0.000 | 0.461 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | A | F | F(-2) | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 316 | 316 | 178 | 0 | 0 | 336 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.56 | 0.00 | 0.00 | 1.06 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.933 | 0.226 | 1.980 | 0.000 | 0.395 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | B | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 159 | 159 | 140 | 0 | 0 | 279 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.88 | 0.00 | 0.00 | 1.75 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.110 | 0.224 | 0.780 | 0.000 | 0.396 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
time (sec) |
N/A | 0.060 | 0.274 | 1.047 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | A |
verified |
N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.03 |
time (sec) |
N/A | 0.068 | 2.359 | 0.781 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |